Groups in Allegories
نویسنده
چکیده
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to theory of fuzzy groups.
منابع مشابه
Decidability of the equational theory of allegories
Freyd and Scedrov showed that the equational theory of representable allegories (essentially those allegories which have a settheoretic representation as relations) is decidable. This paper proves that the pure equational theory of allegories is decidable.
متن کاملپیوندهای معنایی تمثیل های وحدت وجود در مثنوی
Mystic expression and interpretation has always been a challenging issue in the field of mystic language. This challenge, which stems from the inadequacy of language in dealing with mystic experiences, has led to the mystic application of the artistic possibilities of language. One such possibility is allegory. This article studies the allegories of light and water as two of the most significan...
متن کاملComplements in Distributive Allegories
It is know in topos theory that axiom of choice implies that the topos is Boolean. In this paper we want to prove and generalize this result in the context of allegories. In particular, we will show that partial identities do have complements in distributive allegories with relational sums and total splittings assuming the axiom of choice. Furthermore, we will discuss possible modifications of ...
متن کاملAllegory: Structure, Interpretation and Polysemy
In allegories polysemy relates not only to the context and the audience’s understanding but also to the structural characters of these texts. This paper investigates the function of structural and narrative properties in the creation of multiple interpretations of an allegory. Focusing on the events and following a unique story-line is the most important trait in helping to read the alleg...
متن کاملA First-Order Calculus for Allegories
In this paper we a language and first-order calculus for formal reasoning about relations based on the theory of allegories. Since allegories are categories the language is typed in Church-style. We show soundness and completeness of the calculus and demonstrate its usability by presenting the RelAPS system; a proof assistant for relational categories based on the calculus presented here.
متن کامل